- эффективная логика
- Mathematics: effective logic
Универсальный русско-английский словарь. Академик.ру. 2011.
эффективная логика
Смотреть что такое "эффективная логика" в других словарях:
ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т … Современный философский словарь
Железные Воины — Примарх Пертурабо Боевой клич «Железо внутри, железо снаружи!» (Iron within, iron without!) Родной Мир Олимпия (оставлена) … Википедия
Панов, Михаил Иванович — (р. 27.10.1947) спец. в обл. филос. и методол. науки; д р филос. наук, проф. Род. в г. Канске Красноярского края. Окончил матем. ф т Кубанского гос. ун та (1968), асп. по кафедре филос. того же ун та (1971). Работал в Куб. гос. ун те (1971 1976) … Большая биографическая энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
NetBurst — (рабочее название P68) суперскалярная гиперконвейерная микроархитектура, разработанная компанией Intel и лежавшая в основе микропроцессоров Pentium 4, Pentium D, Celeron и Xeon. Содержание 1 История 2 … Википедия
МЕТОД — (от греч. methodos путь, способ исследования, обучения, изложения) совокупность приемов и операций познания и практической деятельности; способ достижения определенных результатов в познании и практике. Применение того или иного М. определяется… … Философская энциклопедия
Аристотель и перипатетики — Аристотелевский вопрос Жизнь Аристотеля Аристотель родился в 384/383 гг. до н. э. в Стагире, на границе с Македонией. Его отец по имени Никомах был врачом на службе у македонского царя Аминта, отца Филиппа. Вместе с семьей молодой Аристотель… … Западная философия от истоков до наших дней
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
Безработица — (Unemployment) Безработица – это такое социально экономическое явление, при котором часть взрослого трудоспособного населения, не имеет работы и активно ее ищет Безработица в России, Китае, Японии, США и странах Еврозоны, в том числе в кризисные… … Энциклопедия инвестора
Капитал — (Capital) Капитал это совокупность материальных, интеллектуальных и финансовых средств, используемых для получения дополнительных благ Определение понятия капитала, виды капитала, рынок капитала, кругооборот капитала, проблема оттока… … Энциклопедия инвестора
полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… … Энциклопедия эпистемологии и философии науки
